structural synthesis of programs造句
例句與造句
- "' Structural synthesis of programs "'( SSP ) is a special form of ( automatic ) program synthesis that is based on propositional calculus.
- Structural synthesis of programs is a method for composing programs from already implemented components ( e . g . from computer commands or software object methods ) that can be considered as functions.
- The idea of structural synthesis of programs was introduced at a conference on algorithms in modern mathematics and computer science organized by Andrey Ershov and Donald Knuth in 1979 . The idea originated from G . P髄ya s well-known book on problem solving.
- It's difficult to find structural synthesis of programs in a sentence. 用structural synthesis of programs造句挺難的